Evaluation of Embedded System Energy Usage with Extended UML Models
نویسندگان
چکیده
Energy consumption as an increasingly important decision criterion has to be included in the search for good architectural and design alternatives to make an embedded system as energy-efficient as possible. The proposed method describes a system with dedicated extended UML models for applications and hardware components and evaluates the energy use via a transformation into an analyzable stochastic Petri net.
منابع مشابه
Reliability Evaluation of Distributed Embedded Systems With UML State Charts and Rare Event Simulation
Safety-critical systems are often controlled by embedded computer systems. Their design is challenging because of the risks connected with the unknown impact of system architecture on non-functional properties such as reliability and real-time capabilities. Model-based evaluation can help to select advantageous design alternatives. This paper proposes the modeling of technical system behavior w...
متن کاملModel-Based Performance Analysis of Service-Oriented Systems - (Invited Talk)
Quantitative performance analysis of service-oriented systems can be conducted in the early development phases by transforming a UML software model extended with performance annotations into a performance model (such as queueing networks, Petri nets, stochastic process algebra) which can be solved with existing performance analysis tools. The OMG standard “UML Profile for Modeling and Analysis ...
متن کاملUml for Embedded Software Development : an Evaluation of Rhapsody
The Unified Modeling Language (UML) has developed into a de facto standard for objectoriented software modeling. Its popularity is also growing for real-time and embedded systems, although the modeling of important aspects of this field has not yet been standardized. In this master’s thesis, an evaluation of the UML-based software development tool Rhapsody was performed for the Hitachi H8S/2238...
متن کاملMapping Activity Diagram to Petri Net: Application of Markov Theory for Analyzing Non-Functional Parameters
The quality of an architectural design of a software system has a great influence on achieving non-functional requirements of a system. A regular software development project is often influenced by non-functional factors such as the customers' expectations about the performance and reliability of the software as well as the reduction of underlying risks. The evaluation of non-functional paramet...
متن کاملFormal Verification of a Subset of UML Diagrams: An Approach Using Maude
The Unified Modeling Language (UML) (Rumbaugh, 1999) is widely used language for the specification of object oriented software systems, including concurrent and embedded systems. An UML model is a set of diagrams describing and documenting the structure, behavior and the usage of a software system. The UML case tools available in today markets help designers to create models and generate code a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Softwaretechnik-Trends
دوره 33 شماره
صفحات -
تاریخ انتشار 2013